Stiefel–Whitney class

In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney class (named for Eduard Stiefel and Hassler Whitney) is an example of a \mathbb Z/2\mathbb Zcharacteristic class associated to real vector bundles.

Contents

Introduction

General presentation

For a real vector bundle E, the Stiefel–Whitney class of E is denoted by w(E). It is an element of the cohomology ring

H^\ast(X; \mathbb Z/2\mathbb Z) = \bigoplus_{i\geq0} H^i(X; \mathbb Z/2\mathbb Z) \;;

here X is the base space of the bundle E, and Z/2Z (often alternatively denoted by Z2) is the commutative ring whose only elements are 0 and 1. The component of w(E) in Hi(X; Z/2Z) is denoted by wi(E) and called the i-th Stiefel–Whitney class of E. Thus w(E) = w0(E) + w1(E) + w2(E) + ⋅⋅⋅, where each wi(E) is an element of Hi(X; Z/2Z).

The Stiefel–Whitney class w(E) is an invariant of the real vector bundle E; i.e., when F is another real vector bundle which has the same base space X as E, and if F is isomorphic to E, then the Stiefel–Whitney classes w(E) and w(F) are equal. (Here isomorphic means that there exists a vector bundle isomorphism E → F which covers the identity idX : X → X.) While it is in general difficult to decide whether two real vector bundles E and F are isomorphic, the Stiefel–Whitney classes w(E) and w(F) can often be computed easily. If they are different, one knows that E and F are not isomorphic.

As an example, over the circle S1, there is a line bundle (i.e. a real vector bundle of rank 1) that is not isomorphic to a trivial bundle. This line bundle L is the Möbius strip (which is a fiber bundle whose fibers can be equipped with vector space structures in such a way that it becomes a vector bundle). The cohomology group H1(S1; Z/2Z) has just one element other than 0. This element is the first Stiefel–Whitney class w1(L) of L. Since the trivial line bundle over S1 has first Stiefel–Whitney class 0, it is not isomorphic to L.

However, two real vector bundles E and F which have the same Stiefel–Whitney class are not necessarily isomorphic. This happens for instance when E and F are trivial real vector bundles of different ranks over the same base space X. It can also happen when E and F have the same rank: the tangent bundle of the 2-sphere S2 and the trivial real vector bundle of rank 2 over S2 have the same Stiefel–Whitney class, but they are not isomorphic. However, if two real line bundles over X have the same Stiefel–Whitney class, then they are isomorphic.

The Stiefel–Whitney classes for real vector bundles are analogs of the Chern classes, which are characteristic classes for complex vector bundles.

Origins

The Stiefel–Whitney classes wi(E) get their name because Eduard Stiefel and Hassler Whitney discovered them as mod-2 reductions of the obstruction classes to constructing ni + 1 everywhere linearly independent sections of the vector bundle E restricted to the i-skeleton of X. Here n denotes the dimension of the fibre of the vector bundle FEX.

To be precise, provided X is a CW-complex, Whitney defined classes Wi(E) in the i-th cellular cohomology group of X with twisted coefficients. The coefficient system being the (i − 1)-st homotopy group of the Stiefel manifold of (ni + 1) linearly independent vectors in the fibres of E. Whitney proved Wi(E) = 0 if and only if E, when restricted to the i-skeleton of X, has (ni + 1) linearly-independent sections.

Since πi−1Vni+1(F) is either infinite-cyclic or isomorphic to Z/2Z, there is a canonical reduction of the Wi(E) classes to classes wi(E) ∈ Hi(X; Z/2Z) which are the Stiefel–Whitney classes. Moreover, whenever πi−1Vni+1(F) = Z/2Z, the two classes are identical. Thus, w1(E) = 0 if and only if the bundle E → X is orientable.

The w0(E) class contains no information, because it is equal to 1 by definition. Its creation by Whitney was an act of creative notation, allowing the Whitney sum Formula w(E1E2) = w(E1)w(E2) to be true. However, for generalizations of manifolds (namely certain homology manifolds), one can have w0(M) ≠ 1: it only needs to equal 1 mod 8.

Definitions

Throughout, Hi(X; G) denotes singular cohomology of a space X with coefficients in the group G. The word map means always a continuous function between topological spaces.

Axiomatic definition

The following set of axioms provides a unique way (the Stiefel-Whitney characteristic class) w of associating to finite rank real vector bundles with paracompact base a class of the mod-2 cohomology of the base: (here \Z_2 denotes the ring of mod-2 integers.)

  1. Normalization: The Whitney class of the tautological line bundle over the real projective space \mathbb RP^1 is non trivial, ie w(\gamma^1_1)= 1 %2B a \in H^*(\mathbb  RP^1;\mathbb Z_2)= \mathbb Z_2[a]/(a^2).
  2. Rank: w_0(E) = 1 \in H^0(X), and for i above the rank of E, w_i = 0 \in H^i(X), that is, w(E)  \in H ^{\le \mathrm{rk} E}(X).
  3. Whitney product formula: w(E\oplus F)= w(E) \smallsmile w(F), that is, the Whitney class of a direct sum is the cup product of the summands' classes.
  4. Naturality: w(f^* E) = f^* w(E) for any real vector bundle E \to X and map f:X' \to X, where f^*E denotes the pullback vector bundle.

The uniqueness of these classes is proved for example, in section 17.2 – 17.6 in Husemoller or section 8 in Milnor and Stasheff. There are several proofs of the existence, coming from various constructions, with several different flavours, their coherence is ensured by the unicity statement.

Definition via infinite Grassmanians

The infinite Grassmannians and vector bundles

This section describes a construction using the notion of classifying space.

For any vector space V, let Gr_n(V) denote the Grassmannian, the space of n-dimensional linear subspaces of V, and denote the infinite Grassmannian

Gr_n = Gr_n(\R^\infty).

Recall that it is equipped with the tautological bundle \gamma^n \to Gr_n, a rank n vector bundle that can be defined as the subbundle of the trivial bundle of fiber V whose fiber at a point W \in Gr_n (V) is the subspace represented by .

Let  f: X \to Gr_n, be a continuous map to the infinite Grassmannian. Then, up to isomorphism, the bundle induced by the map f on X

f^*\gamma^n \in Vect_n(X)

depends only on the homotopy class of the map [f]. The pullback operation thus gives a morphism from the set

 [X; Gr_n]

of maps X \to Gr_n modulo homotopy equivalence, to the set

Vect_n(X)

of isomorphism classes of vector bundles of rank n over X.

The important fact in this construction is that if X is a paracompact space, this map is a bijection. This is the reason why we call infinite Grassmannians the classifying spaces of vector bundles.

The case of line bundles

We now restrict the above construction to line bundles, ie we consider the space

Vect_1(X)

of line bundles over X. The Grassmannian of lines Gr_1 is just the infinite projective space

\R P^\infty = \R^\infty/\R^*,

which is doubly covered by the infinite sphere  S^\infty by antipody. This sphere S^\infty is contractible, so we have

\pi_1(\R P^\infty) = \mathbb Z_2 and \pi_i(\R P^\infty) = \pi_i(S^\infty) = 0 for all i > 1.

Hence \R P^\infty is the Eilenberg-Maclane space K(\Z_2, 1).

It is a property of Eilenberg-Maclane spaces, that

[X; \R P^1] = H^1(X; \Z/2\Z)

for any X, with the isomorphism given by f \to f^* \eta, where \eta is the generator

H^1(\R P^\infty; \Z/2\Z) = \Z/2\Z.

Applying the former remark that \alpha:[X, Gr_1] \to Vect_1(X) is also a bijection, we obtain a bijection

w_1:Vect_1 \to H^1(X; \Z/2\Z);

this defines the Stiefel–Whitney class w_1 for line bundles.

The group of line bundles

If Vect_1(X) is considered as a group under the operation of tensor product, then the Stiefel-Whitney class is an isomorphism: w_1:Vect_1(X) \to H^1(X; \Z_2) is an isomorphism, that is w_1(\lambda \otimes \mu) = w_1(\lambda) %2B w_1(\mu) for all line bundles \lambda, \mu \to X.

For example, since H^1(S^1; \Z/2\Z) = \Z/2\Z, there are only two line bundles over the circle up to bundle isomorphism: the trivial one, and the open Möbius strip (i.e., the Möbius strip with its boundary deleted).

The same construction for complex vector bundles shows that the Chern class defines a bijection between complex line bundles over X and H^2(X; \Z), because the corresponding classifying space is C P^\infty, a K(\Z, 2). This isomorphism is true for topological line bundles, the obstruction to injectivity of the Chern class for algebraic vector bundles is the Jacobian variety.

Properties

Topological interpretation of vanishing

  1. w_ i(E)=0 whenever i>\mathrm{rank}(E).
  2. If E^k has s_1,\ldots,s_{\ell} sections which are everywhere linearly independent then the l top degree Whitney classes vanish: w_{k-\ell%2B1}=\cdots=w_k=0.
  3. The first Stiefel–Whitney class is zero if and only if the bundle is orientable. In particular, a manifold M is orientable if and only if w_1(TM) = 0.
  4. The bundle admits a spin structure if and only if both the first and second Stiefel–Whitney classes are zero.
  5. For an orientable bundle, the second Stiefel–Whitney class is in the image of the natural map \scriptstyle H^2(M, \Z) \rightarrow H^2(M,\Z/2\Z) (equivalently, the so-called third integral Stiefel–Whitney class is zero) if and only if the bundle admits a spinc structure.
  6. All the Stiefel–Whitney numbers of a smooth compact manifold X vanish if the manifold is a boundary (unoriented) of a smooth compact manifold. This condition is in fact also sufficient.

Uniqueness of the Stiefel–Whitney classes

The bijection above for line bundles implies that any functor \theta satisfying the four axioms above is equal to w, by the following argument. The second axiom yields \theta(\gamma^1) = 1 %2B \theta_1(\gamma^1). For the inclusion map i:RP^1 \to RP^\infty, the pullback bundle i^* \gamma^1 is equal to \gamma_1^1. Thus the first and third axiom imply i^* \theta_1(\gamma^1) = \theta_1(i^* \gamma^1) = \theta_1(\gamma_1^1) = w_1(\gamma_1^1) = w_1(i^* \gamma^1) = i^* w_1(\gamma^1). Since the map i^*: H^1(RP^\infty; \Z/2\Z) \to H^1(RP^1; \Z/2\Z) is an isomorphism, \theta_1(\gamma^1) = w_1(\gamma^1) and \theta(\gamma^1) = w(\gamma^1) follow. Let E be a real vector bundle of rank n over a space X. Then E admits a splitting map, i.e. a map f:X' \to X for some space X' such that f^*:H^*(X; \Z/2\Z) \to H^*(X'; \Z/2\Z) is injective and f^* E = \lambda_1 \oplus \cdots \oplus \lambda_n for some line bundles \lambda_i \to X'. Any line bundle over X is of the form g^* \gamma^1 for some map g, and \theta(g^*\gamma^1) = g^* \theta(\gamma^1) = g^* w(\gamma^1) = w(g^*\gamma_1) by naturality. Thus \theta = w on Vect_1(X). It follows from the fourth axiom above that

\scriptstyle f^*\theta(E) = \theta(f^*E) = \theta(\lambda_1 \oplus \cdots \oplus \lambda_n) = \theta(\lambda_1) \cdots \theta(\lambda_n) = w(\lambda_1) \cdots w(\lambda_n) = w(f^*E) = f^* w(E).

Since f^* is injective, \theta = w. Thus the Stiefel–Whitney class is the unique functor satisfying the four axioms above.

Non-isomorphic bundles with the same Stiefel–Whitney classes

Although the map w_1:Vect_1(X) \to H^1(X; \Z/2\Z) is a bijection, the corresponding map is not necessarily injective in higher dimensions. For example, consider the tangent bundle TS^n for n even. With the canonical embedding of S^n in \R^{n%2B1}, the normal bundle \nu to S^n is a line bundle. Since S^n is orientable, \nu is trivial. The sum TS^n \oplus \nu is just the restriction of T\R^{n%2B1} to S^n, which is trivial since \R^{n%2B1} is contractible. Hence w(TS^n) = w(TS^n)w(\nu) = w(TS^n \oplus \nu) = 1. But TS^n \to S^n is not trivial; its Euler class e(TS^n) = \chi(TS^n)[S^n] = 2[S^n] \not =0, where [S^n] denotes a fundamental class of S^n and \chi the Euler characteristic.

Related invariants

Stiefel–Whitney numbers

If we work on a manifold of dimension n, then any product of Stiefel–Whitney classes of total degree n can be paired with the \scriptstyle \mathbb{Z}_2-fundamental class of the manifold to give an element of \scriptstyle \mathbb{Z}_2, a Stiefel–Whitney number of the vector bundle. For example, if the manifold has dimension 3, there are three linearly independent Stiefel–Whitney numbers, given by \scriptstyle w_1^3, w_1 w_2, w_3. In general, if the manifold has dimension n, the number of possible independent Stiefel–Whitney numbers is the number of partitions of n.

The Stiefel–Whitney numbers of the tangent bundle of a smooth manifold are called the Stiefel–Whitney numbers of the manifold. They are known to be cobordism invariants. It was proven by Lev Pontrjagin that if B is a smooth compact (n+1)–dimensional manifold with boundary equal to M, then the Stiefel-Whitney numbers of M are all zero.[1] Moreover, it was proved by René Thom that if all the Stiefel-Whitney numbers of M are zero then M can be realised as the boundary of some smooth compact manifold.[2]

One Stiefel–Whitney number of importance in surgery theory is the de Rham invariant of a (4k+1)-dimensional manifold, w_2w_{4k-1}.

Wu classes

The Stiefel–Whitney classes w_k are the Steenrod squares of the Wu classes v_k, defined by Wu Wenjun in (Wu 1955). Most simply, the total Stiefel–Whitney class is the total Steenrod square of the total Wu class: Sq(v)=w. Wu classes are most often defined implicitly in terms of Steenrod squares, as the cohomology class representing the Steenrod squares: v_k \cup x = Sq^k(x), or more narrowly \langle v_k \cup x, \mu\rangle = \langle Sq^k(x), \mu \rangle.[3]

Integral Stiefel–Whitney classes

The element \beta w_i \in H^{i%2B1}(X;\mathbb{Z}) is called the i%2B1 integral Stiefel–Whitney class, where β is the Bockstein homomorphism, corresponding to reduction modulo 2, \mathbb{Z} \to \mathbb{Z}/2:

\beta\colon H^i(X;\mathbb{Z}/2) \to H^{i%2B1}(X;\mathbb{Z}).

For instance, the third integral Stiefel–Whitney class is the obstruction to a Spinc structure.

Relations over the Steenrod algebra

Over the Steenrod algebra, the Stiefel–Whitney classes of a smooth manifold (defined as the Stiefel-Whitney classes of its tangent bundle) are generated by those of the form w_{2^i}. In particular, the Stiefel–Whitney classes satisfy the Wu formula, named for Wu Wenjun:[4]

Sq^i(w_j)=\sum_{t=0}^i {j%2Bt-i-1 \choose t} w_{i-t}w_{j%2Bt}.

See also

References

  1. ^ Pontrjagin, L. S. (1947). "Characteristic cycles on differentiable manifolds" (in Russian). Math. Sbornik N. S. 21 (63): 233–284. 
  2. ^ Milnor, J. W.; Stasheff, J. D. (1974). Characteristic Classes. Princeton University Press. pp. 50–53. ISBN 0691081220. 
  3. ^ Milnor, J. W.; Stasheff, J. D. (1974). Characteristic Classes. Princeton University Press. pp. 131–133. ISBN 0691081220. 
  4. ^ (May 1999, p. 197)